Nuprl Lemma : bool_decision
4,23
postcript
pdf
x
:
.
x
Decision
latex
Definitions
,
Decision
,
S
T
,
Top
,
t
T
,
x
:
A
.
B
(
x
)
,
Unit
Lemmas
unit
wf
,
top
wf
origin
x:
. x 
Decision x:. x Decision 
T Tx:A. B(x)